proof by infinite descent - Français Anglais Dictionnaire